Two_Strings

VC 0_1: 2 Hard Steps
VC 0_2: Tautology - 0 steps
VC 0_3: Tautology - 0 steps
VC 0_4: Tautology - 1 step
VC 0_5: Tautology - 3 steps
VC 0_6: Tautology - 1 step
VC 1_1: 2 Hard Steps, 1 Easy Step
VC 1_2: 2 Hard Steps


Integer_Pointer

VC 0_1: 2 Easy Steps
VC 0_2: 3 Easy Steps, 1 Hard Step (not sure our prover could handle this one)
VC 0_3: Tautology - 0 steps
VC 0_4: Tautology - 3 steps
VC 0_5: Tautology - 4 steps
VC 0_6: 5 Easy Steps, 1 Hard Step
VC 1_1: 2 Easy Steps, 2 Hard Steps
VC 1_2: 1 Easy Step, 1 Hard Step
